Software Component Dependability | a Subdomain-based Theory
نویسنده
چکیده
A proole-dependent \dependability" for software can be deened using a functional proole (a set of input-space subdomains breaking down the behavior of a component according to its speciication { these are the subdomains used in the usual \functional testing"). It is argued that measurements of dependability using the squeeze play (1) are proole dependent in general; but, (2) when the proole is deened by weighted subdomains, the squeeze-play predictions depend only on the subdomains, not on their weighting, hence this dependability is proole independent. A component developer can deene functional subdomains for the component and measure the dependability, then market the component with its dependability description. A system developer could select components with attached dependabilities, combine the components in a veriied structure, and measure { from the component dependabilities alone { a system dependability. However, the system dependability is not proole independent. Measurements for both component-and system developer can be supported by tools.
منابع مشابه
Enhancing Dependability of Component-Based Systems
We present a method to add dependability features to component-based software systems. The method is applicable if the dependability features add new behavior to the system, but do not change its basic functionality. The idea is to start with a software architecture whose central component is an application component that implements the behavior of the system in the normal case. The application...
متن کاملSoftware component composition: a subdomain-based testing-theory foundation
Composition of software elements into assemblies (systems) is a fundamental aspect of software development. It is an important strength of formal mathematical specification that the descriptions of elements can be precisely composed into the descriptions of assemblies. Testing, on the other hand, is usually thought to be ‘non-compositional.’ Testing provides information about any executable sof...
متن کاملArchitecture-based Dependability Prediction for Service-oriented Computing
In service-oriented computing, services are built as an assembly of pre-existing, independently developed services. Hence, predicting their dependability is important to appropriately drive the selection and assembly of services, to get some required dependability level. We present an approach to the dependability prediction of such services, exploiting ideas from the Software Architectureand c...
متن کاملCustomizing Dependability with Reusable Software Components
Many large software systems have diierent components with varying requirements for robustness and performance. Moreover, dependability requirements often change throughout their software life-cycle. Thus any single dependability technique is insuf-cient for implementing large systems. Software developers need to be able to modify dependability code without modifying application code. We outline...
متن کامل2DCBS: A Model for Developing Dependable Component-Based Software
The software industry has adopted component-based software development (CBSD) to rapidly build and deploy large and complex software systems with significant savings at minimal engineering effort, cost, and time. However, CBSD encounters issues on security trust, mainly with respect to dependability attributes. A system is considered dependable when it can produce the outputs for which it was d...
متن کامل